AspectScheme – Aspects in Higher-Order Languages Christopher J. Dutchyn Computer Science University of Saskatchewan

Source URL: users-cs.au.dk

Hardware/Software Co-Design using Functional Languages Alan Mycroft1,2 and Richard Sharp1,2 1 Computer Laboratory, Cambridge University

Source URL: rich.recoil.org

Computer Science and Software Engineering Course Outline Open doors in any career with computer science! Students create apps for mobile devices, automate tasks in a variety of languages, find patterns in data, and inter

Source URL: www.pltw.org

Isolation problem for Web Mashups Formal definition of Capability Safe languages Solving the Isolation problem using Capabilit Object Capabilities and Isolation of Untrusted Web Applications Ankur Taly Dept. of Computer

Source URL: oakland31.cs.virginia.edu

What  is  Programming? Aspects  of  Programming,  Computer   Languages,  Objects  and  Object-­Oriented   Programming Andries van  D am   © 2015  

Source URL: cs.brown.edu

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

Source URL: frenchy64.github.io

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Programming languages
• Procedural programming languages
• Cross-platform software
• Clojure
• Multiple dispatch
• Type system
• Dynamic programming language

DSLs in Haskell Ryan Newton Back-end

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional languages
• Functional programming
• Data types
• Type theory
• Compilers
• Template Haskell
• Haskell
• Generalized algebraic data type
• Metaprogramming

ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵ ｃｏｓｔ＠ＰＵＵＯＱＵ ｄｅｃｉｓｉｏｎ ｓｵ｢ｪ･｣ｴＺ＠

Source URL: w3.cost.eu

• Software engineering
• Software
• Type theory
• Programming language theory
• Proof assistants
• Functional languages
• Formal methods
• Logic in computer science
• Formal verification
• Dependent type
• Agda
• Coq

Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley

Source URL: kcsrk.info

• Software engineering
• Computer programming
• Computing
• Functional languages
• Control flow
• Software design patterns
• OCaml
• Monad
• Exception handling
• Type system
• Caml
• ML

Project 5 - The Meta-Circular Evaluator

Source URL: sicp.csail.mit.edu

• Software engineering
• Computer programming
• Computing
• Control flow
• Procedural programming languages
• Eval
• Scheme
• Anonymous function
• Infinite loop
• Assignment
• Conditional
• Meta-circular evaluator